structure S =
struct
  type t (= contag)
end
